Error: Error: path (="Misc Stuff/12 - Optimization Assignment//"http:/creativecommons.org/licenses/by-sa/4.0//"") must start with "Misc Stuff/12 - Optimization Assignment/Optimization Notes.sagews"